Program logic

Results: 2056



#Item
281Impact assessment / Methodology / Program evaluation / American Evaluation Association / Logic model / Evidence-based practice / Empowerment evaluation / Stewart Donaldson / Evaluation / Evaluation methods / Science

Microsoft Word - Ch01_Fig1_RFT.doc

Add to Reading List

Source URL: www.communityresourcingworldwide.com.au

Language: English - Date: 2011-02-28 00:26:07
282Social psychology / Behavior / Logic / Decision theory / Argumentation theory / Criticism / Argument / Parameter / Self-esteem / Critical thinking / Arguments / Mind

An Empirical Study of the Influence of Argument Conciseness on Argument Effectiveness Giuseppe Carenini Intelligent Systems Program University of Pittsburgh, Pittsburgh, PA 15260, USA

Add to Reading List

Source URL: www.cs.ubc.ca

Language: English - Date: 2001-01-30 13:26:34
283Impact assessment / Sociology / Methodology / Program evaluation / Stakeholder / Program management / Logic model / Impact evaluation / Evaluation / Evaluation methods / Project management

Plain English Program Evaluation Part 4 - Articulating how a program works v2.0

Add to Reading List

Source URL: www.grosvenor.com.au

Language: English - Date: 2014-10-01 03:44:33
284Methodology / Impact assessment / Program evaluation / Logic model / Program management / Empowerment evaluation / Impact evaluation / Evaluation / Evaluation methods / Sociology

Chapter 6 - Program evaluation.fm

Add to Reading List

Source URL: www.gnb.ca

Language: English - Date: 2004-12-09 12:59:43
285Sociology / Methodology / Program evaluation / Federal Energy Management Program / Logic model / Impact evaluation / Federation of European Mineral Programs / Evaluation / Evaluation methods / Impact assessment

Impact Evaluation Framework for Technology Deployment Programs: An Overview and Example

Add to Reading List

Source URL: www1.eere.energy.gov

Language: English - Date: 2012-08-15 16:14:48
286Logic model / Logical framework approach / Program management / Evaluation / Conservation management system / Performance-based budgeting / Project management / Management / Business

DOCX Document

Add to Reading List

Source URL: www.sunflowerfoundation.com.au

Language: English - Date: 2015-03-03 00:58:08
287Science / Impact assessment / Community development / Community organizing / Empowerment evaluation / Program evaluation / Logic model / Reliability engineering / Needs assessment / Evaluation methods / Evaluation / Sociology

xi About the Authors xiii

Add to Reading List

Source URL: www.communityresourcingworldwide.com.au

Language: English - Date: 2011-02-28 00:25:33
288Axiology / Philosophy of mathematics / Knowledge / Modal logic / Mathematical logic / Logic / Science / Abstraction

Finding the golden thread: A new approach to articulating program logic statements | SVA Consulting Quarterly:49 pm Finding the golden thread: A new approach to articulating program logic

Add to Reading List

Source URL: svaconsultingquarterly.com

Language: English - Date: 2014-03-17 08:57:24
289Mathematics / Predicate transformer semantics / Predicate logic / Hoare logic / Loop invariant / Universal quantification / Invariant / Predicate / Logic / Mathematical logic / Program logic

Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2011-04-21 20:26:03
290Predicate logic / Semantics / Program logic / Predicate / Propositional calculus / Quantification / Higher-order logic / Isabelle / Denotational semantics / Logic / Mathematical logic / Mathematics

Isabelle/UTP: Mechanised Theory Engineering for Computer Scientists Simon Foster (with Frank Zeyda) University of York May 7, 2013

Add to Reading List

Source URL: www.cs.york.ac.uk

Language: English - Date: 2013-07-12 06:22:09
UPDATE